3. A course in formal languages, automata and groups

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Formal languages,، Machine theory,، Group theory

رده :
QA
267
.
3
.
C45
2009

6. Introduction to ]lambda[-trees

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Lambda algebra,، Trees )Graph theory(,، Group theory

رده :
QA
166
.
2
.
C47
2001

7. Introduction to ]lambda[-trees

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Lambda algebra,، Trees )Graph theory(,، Group theory

رده :
QA
166
.
2
.
C47I5

8. Mathematical logi

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Logic, Symbolic and mathematical.

رده :
QA
,
9
.
2
,.
C45
,
2007eb

9. Mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)

موضوع: Logic, Symbolic and mathematical

رده :
QA9
.
2
.
C45M3
2007

10. Mathematical logic

پدیدآورنده:

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
QA
9
.
2
.
C45
M3
2007

11. Mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Logic, Symbolic an​d mathematical

رده :
C542m

12. Mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic, Symbolic and mathematical

رده :
QA
9
.
2
.
C45M3

13. Mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Logic, Symbolic and mathematical

رده :
QA
9
.
2
.
C45
2007

14. Mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Logic, Symbolic and mathematical

رده :
E-BOOK